含煤地层中资源储量的估算方法

在论述含煤地层中资源储量的估算和核实方法基础上,根据研究区井田地质特征选取适当的计算公式,确定公式中不同的参数,得出储量计算的结果,并使用计算机进行抽检,进行数值复核,检验估算结果的可靠性。     

高校图书馆信息公平可行性分析

介绍了信息公平的内涵,阐述了信息公平的现状及必要性,对高校图书馆的信息公平进行了可行性分析,指出了高校图书馆在信息公平方面存在的不足并提出了解决措施。     

Soundness analysis of compositional model of time-based petri nets

Workflow management systems are widely used in improving the efficiency of business processes.To develop a workflow management system is the key to workflow modeling.In this paper,the compositional time net is presented to model workflow processes on the basis of the analyzing methods of time Petri nets and workflows,and to describe the static relationships and the dynamic semantics of the task of multiple workflow composition.The paper puts more emphasis on checking the soundness of composed workflow,at the same time,combinational problems of non-conditional structure of the compositional time net are introduced and analyzed.A sufficient and necessary condition for determining the soundness of compositional nets is obtained.     

基于Petri网工作流过程模型合理性验证方法

为保证工作流建模过程的正确性,对基于Petri网的过程建模中存在的潜在错误进行了归纳和总结,分析了合理的工作流过程模型应该满足的条件和要求,并针对自由选择网提出了一种有效的合理性验证算法.实验证明,该算法在实际应用中具有可操作性,有较强的现实意义.     

闽西高校大学体育选项课开设龙狮运动的可行性研究

通过文献资料法、问卷调查法、专家访谈法、数理统计法对闽西部分高校大学体育选项课开设舞龙舞狮运动的可行性进行调查和分析,结果表明在闽西高校大学体育选项课开设舞龙舞狮运动基本可行,同时为其他高校大学体育课开展舞龙舞狮运动提供理论依据和参考。     

“楼市新政”下如何实现住宅地产向商业地产过渡

通过介绍当前的房地产市场背景,得出房企转型的必然性;然后通过对商业地产一系列开发程序论述转型的可行性;最后得出转型必要并且可行,以期为房地产企业提供一定的参考.     

基于刚度及经济的CFRP与钢组合拉索设计理论

基于钢斜拉索、碳纤维增强塑料(CFRP)斜拉索适用跨径研究结果,针对1 400~2 800 m主跨斜拉桥整体刚度不足提出一种新型结构方案,即基于刚度及经济性能的CFRP与钢组合拉索方案.该方案将CFRP斜拉索与传统钢斜拉索同时应用于斜拉桥中,将２种材料高强轻质及弹性模量高的优点进行组合,以充分提高斜拉索的等效刚度,进而提高斜拉桥的整体刚度.详细介绍该组合方案设计思路与方法,通过比较等效刚度以及经济性能给出２种材料斜拉索推荐组合比例.最后,通过一座1 400 m主跨CFRP与钢组合拉索斜拉桥试设计说明该方案相对传统方案整体刚度上的优势,证明其工程应用的可行性,是主跨为1 400~2 800 m斜拉桥的优选方案之一.     

基于MCU的SoC芯片版图设计与验证

设计应用于数字抄表系统的基于MCU的SoC芯片.芯片内部集成多个硬宏单元,采用数字和模拟分开放置的方式基于SMIC 0.18μm 1P6M工艺进行版图设计.进行等效验证、静态时序验证、后仿真和基于Virtuso环境采用Calibre工具进行的物理验证.研究和解决在版图设计和验证过程中碰到的问题.最终设计的SoC芯片满足...     

基于CPN的智能合约交易顺序依赖漏洞的验证

智能合约的形式化验证工作主要集中在编程语言层面的漏洞研究,而交易顺序依赖作为区块链层面的漏洞更不易被检测。基于着色Petri网对智能合约中潜在的交易顺序依赖漏洞进行形式化验证。以Decode悬赏合约为对象,分析合约中潜在的漏洞,自顶向下地对合约本身及其执行环境建立着色Petri网模型,并引入攻击者模型来考虑合约遭受攻击的情况。通过运行模型以验证合约存在交易顺序依赖漏洞,最后基于Remix平台在以太坊网络中证实结论的正确性。     

数字签名过程的一个形式描述和验证

通过引入一些新概念,利用Biba模型思想,对一般的数字签名方案形式化描述和验证,并且该模型具有完整性.